Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
نویسندگان
چکیده
Angell’s logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC Ferguson, and 16-valued Fine. It is that the former image surjective homomorphism from latter, i.e., an epimorphic image. Some candidate 7-valued matrices are ruled out as characteristic AC. Whether with fewer than 9 values exist remains open question. The results were obtained help MUltlog system for investigating finite-valued logics; serve example usefulness techniques computational algebra in logic. A tableau proof also provided. .
منابع مشابه
On the subgraph epimorphism problem
In this paper we study the problem of deciding the existence of a subgraph epimorphism between two graphs. Our interest in this variant of graph matching problem stems from the study of model reductions in systems biology, where large systems of biochemical reactions can be naturally represented by bipartite digraphs of species and reactions. In this setting, model reduction can be formalized a...
متن کاملSome Stability Properties of Epimorphism Classes
It is proved that in any pointed category with pullbacks, coequalizers and regular epi-mono factorizations, the class of regular epimorphisms is stable under pullback along the so-called balanced effective descent morphisms. Here “balanced” can be omitted if the category is additive. A balanced effective descent morphism is defined as an effective descent morphism p : E → B such that any subobj...
متن کاملE-Clean Matrices and Unit-Regular Matrices
Let $a, b, k,in K$ and $u, v in U(K)$. We show for any idempotent $ein K$, $(a 0|b 0)$ is e-clean iff $(a 0|u(vb + ka) 0)$ is e-clean and if $(a 0|b 0)$ is 0-clean, $(ua 0|u(vb + ka) 0)$ is too.
متن کاملInformation Covariance Matrices for Multivariate Burr III and Logistic Distributions
Main result of this paper is to derive the exact analytical expressions of information and covariance matrices for multivariate Burr III and logistic distributions. These distributions arise as tractable parametric models in price and income distributions, reliability, economics, Human population, some biological organisms to model agricultural population data and survival data. We showed that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2022
ISSN: ['1425-3305', '2300-9802']
DOI: https://doi.org/10.12775/llp.2022.025